課程資訊
課程名稱
離散數學
Discrete Mathematics 
開課學期
104-2 
授課對象
電機工程學系  
授課教師
陳和麟 
課號
EE2008 
課程識別碼
901E21100 
班次
02 
學分
全/半年
半年 
必/選修
必修 
上課時間
星期四3,4(10:20~12:10) 
上課地點
明達205 
備註
本課程以英語授課。本系學生優先修習
總人數上限:80人 
Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1042EE2008_02 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

TOPICS
1 Formal Logic
– Propositional Logic
– Predicate Logic
2 Sets, Functions and Relations
– Definitions
– Basic Cryptography
– The Growth of Functions
– Equivalence and Partial Ordering
3 Formal Reasoning Methods
– Methematical Induction
– Methods of Proof
– Program Verification
4 Recurrence Relations
– Linear Recurrence Relations
– Generating Functions
5 Graphs
– Definitions
– Connectivity
– Coloring 

課程目標
本課程主要目的,在於教授資訊科學中重要的數學觀念、模型、以及邏輯思考推論方式,以奠定未來學習資訊科學中各種理論以及實務課程的基礎。
 
課程要求
Homework 30%
Midterm 35%
Final exam 35%
 
預期每週課後學習時數
 
Office Hours
每週五 15:00~16:00 
指定閱讀
待補 
參考書目
TEXTBOOK: DISCRETE MATHEMATICS AND ITS APPLICATIONS, 7TH EDITION, KENNETH H.
ROSEN, MCGRAW-HILL  
評量方式
(僅供參考)
   
課程進度
週次
日期
單元主題